Total Books: 1 - 1 /1
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suite
Total Books: 1 - 1 /1
